projective Hilbert space

projective Hilbert space (plural projective Hilbert spaces)
The quotient of a Hilbert space by an equivalence relation which considers a pair of vectors equivalent iff they differ only by a factor which is a complex number.